9th International Conference on Automated Deduction, CADE 9 - proceedings
- Författare
- Ross Overbeek Elving Lusk International Conference on Automated Deduction 1988) Argonne :
- (E. Lusk, R. Overbeek (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1988 | USA, New York, Berlin | x, 775 sidor. |